เมนูนำทาง ตัวบ่งปริมาณ (หนึ่งตัว) การพิสูจน์เอกลักษณ์ การลดรูปเป็นตัวบ่งปริมาณแบบบางตัวและตัวบ่งปริมาณแบบทั้งหมด ภาพรวม ดูเพิ่ม อ้างอิง